Feeds to Scour
SubscribedAll
Scoured 183782 posts in 10.3 ms
A Foundation for Differentiable Logics using Dependent Type Theory
arxiv.org·1d
🏗️Calculus of Constructions
Lytok 2.0: A New Way to Handle Data Structures in JS/TS
dev.to·3h·
Discuss: DEV
🌈Gradual Languages
Show HN: Btrc – I built a language with AI in a few weeknights that outputs C11
github.com·12h·
Discuss: Hacker News
🧸Toy Compilers
CIll: CTI-Guided Invariant Generation via LLMs for Model Checking
arxiv.org·1d
🔍Type Inference
A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices
coding-mischief.com·8h·
Discuss: Hacker News
🤐Zipper Structures
type++: Prohibiting Type Confusion with Inline Type Information
papers.cool·1d
🔮Type Inference Visualization
Structured Outputs for LLMs
ternarysearch.blogspot.com·23h·
Discuss: Hacker News, ternarysearch.blogspot.com
🪜Recursive Descent
Lil' Fun Langs' Guts
taylor.town·2d·
Discuss: Lobsters, Hacker News, r/programming
🪆Embedded DSLs
Implementing constexpr parameters using C++26 reflection (kind of)
godbolt.org·55m·
Discuss: r/cpp
🔗Lexical Scoping
FGRPO: Fine-grained reasoning preference optimization with iterative stabilization for mathematical reasoning in large language model
sciencedirect.com·1d
🎯Constraint Solving
BinEnhance: An Enhancement Framework Based on External Environment Semantics for Binary Code Search
papers.cool·1d
🔄Binary Translation
SOLID in FP: Liskov Substitution, or The Principle That Was Never About Inheritance
cekrem.github.io·1d·
Discuss: Hacker News, r/programming
🚀Hindley-Milner+
Show HN: Turn – A compiled systems language for agentic computation
news.ycombinator.com·14h·
Discuss: Hacker News
✨Gleam
nahhididwin/L-Representation: L-Representation: Turning a Single Integer \textit{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine
github.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
A rather disorganized rant about LLMs
boston.conman.org·56m
🔍ML Language
TurboSparse Efficiency: Achieving 97% Parameter Sparsity in Mixtral-47B
hackernoon.com·3h
🚀Tokenizer Performance
TypeScript Decorators: From Basics to Advanced
slicker.me·1d·
Discuss: r/typescript
🔧API Design
State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more
philipzucker.com·1d
🧮Theorem Provers
Generic methods arrive in Golang, but they weren't the top dev demand
theregister.com·14h
🔗Go Generics
Tsonnet #31 - Taking back control of equality
dev.to·10h·
Discuss: DEV
🔗Lexical Scoping

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help